A combinatorial classic - sparse graphs with high chromatic number Jaroslav Neˇsetˇril∗ Computer Sience Institute of Charles University and Institute for Theoretical Computer Science (ITI)

Source URL: iti.mff.cuni.cz

The Weird Machines in Proof-Carrying Code IEEE Security and Privacy LangSec Workshop 2014 Invited paper Julien Vanegue Bloomberg L.P. New York, USA.

Source URL: openwall.info

• Theoretical computer science
• Formal methods
• Computer science
• Software engineering
• Logic in computer science
• Dependently typed programming
• Proof assistants
• Proof-carrying code
• Formal verification
• Mathematical proof
• CurryHoward correspondence
• Algorithm

On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith

Source URL: www-vvps09.imag.fr

• Logic
• Mathematical logic
• Theoretical computer science
• Temporal logic
• Model checkers
• Linear temporal logic
• NuSMV
• Model checking
• Concurrency
• Finite model theory
• Planning Domain Definition Language
• SMV

Bolt: On-Demand Infinite Loop Escape in Unmodified Binaries Michael Kling Sasa Misailovic

Source URL: people.csail.mit.edu

• Software engineering
• Computer programming
• Computing
• Recursion
• Edsger W. Dijkstra
• Programming paradigms
• Theoretical computer science
• Infinite loop
• Control flow
• Optimizing compiler
• For loop
• Bolt

WWW 2009 MADRID! Track: Semantic/Data Web / Session: Linked Data SOFIE: A Self-Organizing Framework for Information Extraction

Source URL: www2009.org

• Theoretical computer science
• Mathematics
• Software engineering
• Logic in computer science
• Ontology
• Information science
• Knowledge representation
• Technical communication
• Maximum satisfiability problem
• Boolean satisfiability problem
• YAGO
• Prolog

Icelandic Centre of Excellence in Theoretical Computer Science (ICE-TCS) List of Publications 2005–to date December 22, 2015 Books

Source URL: www.icetcs.ru.is

Electronic Notes in Theoretical Computer Science 86 NoURL: http://www.elsevier.nl/locate/entcs/volume86.html 16 pages Simulating Liveness by Reduction Strategies J¨ urgen Giesl 1

Source URL: www-i2.informatik.rwth-aachen.de

• Mathematical analysis
• Mathematics
• Concurrent computing
• Liveness
• Measure theory
• Safety
• Path ordering
• Lp space
• Connection

Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA

Source URL: www.cs.princeton.edu

• Logic
• Theoretical computer science
• Logic in computer science
• Mathematical logic
• Programming language semantics
• Philosophical logic
• Non-classical logic
• Operational semantics
• Semantics
• Kripke semantics
• Modal logic
• Axiomatic semantics

Published in R. Whright and P. Neumann, Eds., Network Threats, DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 38, pp. 21–31, American Mathematical Society, 1998. CRYPTANALYSIS OF RSA-TYPE

Source URL: joye.site88.net

Noise-Tolerant Learning, the Parity Problem, and the Statistical Query Model AVRIM BLUM, ADAM KALAI, AND HAL WASSERMAN Carnegie Mellon University, Pittsburgh, Pennsylvania Abstract. We describe a slightly subexponential

Source URL: research.microsoft.com

• Computational learning theory
• Machine learning
• Artificial intelligence
• Learning
• Probability distribution
• Theoretical computer science
• Probably approximately correct learning
• Statistical classification
• Error Tolerance
• Supervised learning